Qais

Quantitative analysis of interacting systems: foundations and algorithms

Search: ^t

Research/QAIS Web Changed Changed by
T1 06 Jan 2012 - 13:08 - r4 AlexandraSilva
T1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ...
T2 06 Jan 2012 - 13:08 - r6 AlexandraSilva
T2 Coalgebraic Metric Bisimulation Bisimulations are an extremely useful tool for reasoning about the equivalence of systems: in order to prove that two systems ...
T3 06 Jan 2012 - 13:08 - r4 AlexandraSilva
T3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ...
T4 06 Jan 2012 - 13:08 - r6 AlexandraSilva
T4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ...
T5 06 Jan 2012 - 13:08 - r4 AlexandraSilva
T5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ...
Team 17 Sep 2013 - 14:31 - r3 JoseNunoOliveira
Research Team Silva Alejandro Sanchez Ana Maldonado Elisabete Freire Nuno Oliveira Monteiro Barbosa Nuno Oliveira Daniel ...
Found 6 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM